$\forall$$a$,$b$,$y$,$k$:$\mathbb{Z}$. gcd\_p($a$; $b$; $y$) $\Rightarrow$ gcd\_p($a$; ($b$ + ($k$ $\ast$ $a$)); $y$)